Higher - Order ( Non - ) Modularity Claus

Higher-Order (Non-)Modularity

We show that, contrary to the situation in first-order term rewriting, almostnone of the usual properties of rewriting are modular for higher-order rewriting, irre-spective of the higher-order rewriting format. For the particular format of simply typedapplicative term rewriting systems we prove that modularity of confluence, normalization,and termination can be recovered by impo...

On ‘Parts’ and ‘Wholes’ of Adaptive Behavior: Functional Modularity and Diachronic Structure in Recurrent Neural Robot Controllers

This paper discusses the issue of self-organized modularity for adaptive robot behavior. In particular we introduce the concept of functional modularity through diachronic structure in recurrent neural robot control mechanisms. We demonstrate how behavioral adaptivity through quasi-modularity at a functional level can be realized in monolithic recurrent neurocontrollers through context-dependen...

Systematic humanization of yeast genes reveals conserved functions and genetic modularity

Mining Overlapping Communities in Real-world Networks Based on Extended Modularity Gain

Detecting communities plays a vital role in studying group level patterns of a social network and it can be helpful in developing several recommendation systems such as movie recommendation, book recommendation, friend recommendation and so on. Most of the community detection algorithms can detect disjoint communities only, but in the real time scenario, a node can be a member of more than one ...

Modularity of the Quasi-interpretations Synthesis and an Application to Higher-Order Programs

Quasi-interpretations have shown their interest to deal with resource analysis of first order functional programs. There are at least two reasons to study the question of modularity of quasi-interpretations. Firstly, modularity allows to decrease the complexity of the quasi-interpretation search algorithms. Secondly, modularity allows to increase the intentionality of the quasi-interpretation m...